Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Accurate Sum and Dot Product

Рік:
2005
Мова:
english
Файл:
PDF, 354 KB
english, 2005
3

An algorithm for automatically selecting a suitable verification method for linear systems

Рік:
2011
Мова:
english
Файл:
PDF, 404 KB
english, 2011
6

Accurate Floating-Point Summation Part I: Faithful Rounding

Рік:
2008
Мова:
english
Файл:
PDF, 549 KB
english, 2008
7

Phonon Raman scattering of (

Рік:
1993
Мова:
english
Файл:
PDF, 299 KB
english, 1993
8

Special section on recent progress in verified numerical computations

Рік:
2013
Мова:
english
Файл:
PDF, 98 KB
english, 2013
12

Iterative refinement for singular value decomposition based on matrix multiplication

Рік:
2019
Мова:
english
Файл:
PDF, 314 KB
english, 2019
14

Foreword

Рік:
2021
Файл:
PDF, 272 KB
2021
24

Tight and efficient enclosure of matrix multiplication by using optimized BLAS

Рік:
2011
Мова:
english
Файл:
PDF, 106 KB
english, 2011
25

Raman scattering study of (La1−xSrx)2NiO4

Рік:
1991
Мова:
english
Файл:
PDF, 131 KB
english, 1991
26

Super-fast validated solution of linear systems

Рік:
2007
Мова:
english
Файл:
PDF, 190 KB
english, 2007
27

Synthesis and determination of the absolute configuration of matlystatin B

Рік:
1993
Мова:
english
Файл:
PDF, 223 KB
english, 1993
28

The structure of adenomycin (C19-97 substance)

Рік:
1980
Мова:
english
Файл:
PDF, 236 KB
english, 1980
29

The structures of fosfazinomycins A and B

Рік:
1983
Мова:
english
Файл:
PDF, 228 KB
english, 1983
32

Verifying all eigenpairs in symmetric positive definite generalized eigenvalue problem

Рік:
2007
Мова:
english
Файл:
PDF, 90 KB
english, 2007
34

Iterative refinement for ill-conditioned linear systems

Рік:
2009
Мова:
english
Файл:
PDF, 668 KB
english, 2009
35

Fast verified solutions of linear systems

Рік:
2009
Мова:
english
Файл:
PDF, 1.37 MB
english, 2009
38

Fast Inclusion of Interval Matrix Multiplication

Рік:
2005
Мова:
english
Файл:
PDF, 176 KB
english, 2005
44

A robust algorithm for geometric predicate by error-free determinant transformation

Рік:
2012
Мова:
english
Файл:
PDF, 200 KB
english, 2012
45

Roles of nucleosides and nucleotide mixture in small bowel transplantation

Рік:
2002
Мова:
english
Файл:
PDF, 302 KB
english, 2002
50

Combined analysis of p53 and RB pathways in epithelial ovarian cancer

Рік:
2001
Мова:
english
Файл:
PDF, 274 KB
english, 2001